Types for proofs and programs - selected papers : International Workshop TYPES '96, Aussois, France, December 15-19, 1996
- Författare
- Eduardo Giménez France : International Workshop on Types for Proofs and Programs 1996) Aussois
- (Eduardo Giménez Christine Paulin-Mohring (ed.).)
- Genre
- Konferenser, Konferenspublikation, Ej skönlitteratur
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Springer | cop. 1998 | Tyskland, Berlin | viii, 372 sidor. |